Stationary Reflection and the Universal Baire Property
نویسنده
چکیده
In this note we show that ω1-Universally Baire selfjustifying systems are fully Universally Baire under the Weak Stationary Reflection Principle for Pairs. This involves analyzing the notion of a weakly captured set of reals, a weakening of the Universal Baire property.
منابع مشابه
Baire Reflection
We study reflection principles involving nonmeager sets and the Baire Property which are consequences of the generic supercompactness of ω2, such as the principle asserting that any point countable Baire space has a stationary set of closed subspaces of weight ω1 which are also Baire spaces. These principles entail the analogous principles of stationary reflection but are incompatible with forc...
متن کاملOn a Fragment of the Universal Baire Property for Σ2 Sets
There is a well-known global equivalence between Σ2 sets having the Universal Baire property, two-step Σ3 generic absoluteness, and the closure of the universe under the sharp operation. In this note, we determine the exact consistency strength of Σ2 sets being (2 )-cc Universally Baire, which is below 0. In a model obtained, there is a Σ2 set which is weakly ω2-Universally Baire but not ω2-Uni...
متن کاملThe Derived Model Theorem
We shall exposit here one of the basic theorems leading from large cardinals to determinacy, a result of Woodin known as the derived model theorem. The theorem dates from the mid80’s and has been exposited in several sets of informally circulated lecture notes (e.g., [12], [14]), but we know of no exposition in print. We shall also include a number of subsidiary and related results due to vario...
متن کاملWeak difference property of functions with the Baire property
We prove that the class of functions with the Baire property has the weak difference property in category sense. That is, every function for which f(x+h)−f(x) has the Baire property for every h ∈ R can be written in the form f = g+H+φ where g has the Baire property, H is additive, and for every h ∈ R we have φ(x+h)−φ(x) 6= 0 only on a meager set. We also discuss the weak difference property of ...
متن کاملReflection of stationary Sets and the Tree Property at the Successor of a singular cardinal
We show that from infinitely many supercompact cardinals one can force a model of ZFC where both the tree property and the stationary reflection hold at אω2+1.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006